dvidvi.o: dvidvi.c 
